Jump to content

Template talk:Families of sets

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Semialgebra

[edit]

I recently edited https://en.wikipedia.org/wiki/Semiring#Semiring_of_sets and https://en.wikipedia.org/wiki/Ring_of_sets#Related_structures to change the erroneous definition of a semialgebra. It previously said:

  • A semialgebra on is a semiring that has as an element.

I now have it as a semiring with the extra condition:

  • If then there exists a finite number of mutually disjoint sets such that

This is consistent with virtually all sources I can find, including (oddly enough) the source it originally cited (Durrett 2019). Note that these are not equivalent: the first implies the second, but the converse fails for on . Besides that, the second one is a natural starting point for the Caratheodory construction, but the extra condition of having in your collection doesn't give you anything there (that I know of).

Anyhow, I just changed that part of the template to reflect this. Unfortunately, it make "semialgebra" identical to "semiring" from the perspective of the table. Given that the distinction between them is rather subtle and arcane outside of measure theory, I guess this isn't surprising.

- Morgan 129.72.100.78 (talk) 04:37, 6 October 2022 (UTC)[reply]